GF(2n)-Linear Tests versus GF(2)-Linear Tests

نویسنده

  • Yoav Tzur
چکیده

A small-biased distribution of bit sequences is defined as one withstanding GF (2)-linear tests for randomness, which are linear combinations of the bits themselves. We consider linear combinations over larger fields, specifically, GF (2) for n that divides the length of the bit sequence. Indeed, this means that we partition the bits to blocks of length n and treat each block as the representation of a field element. Various properties of the resulting field element can then be tested. We show that the latter GF (2)-linear tests are at least as powerful as the GF (2)-linear tests. This holds even for a very limited final test of the resulting field element (e.g., checking only the first bit). This is shown constructively in the sense that we show for each linear combination over GF (2), an explicit linear combination over GF (2) whose first bit (for instance) has the same bias. One corollary of the above is that the generator producing a random geometric series over GF (2), namely (a, b) 7→ (a · b)`i=0, is ` 2n -biased. Given the technical nature of the current work, we start with the formal setting (Section 1), to be followed by a discussion (Section 2). The proof of the main result appears in section 3. 1 Formal Setting We start with the notion of ε-bias, introduced in [7], which refers to GF (2)-linear tests: Definition 1 (ε-bias). For ε > 0, k, ` ∈ N, a generator G : {0, 1} → {0, 1} is called ε-biased if for every nontrivial GF (2)-linear combination α ∈ {0, 1}, Pr s∈{0,1} [〈G(s), α〉 = 0] = 1 2 ± ε. This research was partially supported by the Israel Science Foundation (grant No. 1041/08). Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot 76100, Israel. Email: [email protected]. 1 Electronic Colloquium on Computational Complexity, Report No. 18 (2009)

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Optimal Linear Codes Over GF(7) and GF(11) with Dimension 3

Let $n_q(k,d)$ denote the smallest value of $n$ for which there exists a linear $[n,k,d]$-code over the Galois field $GF(q)$. An $[n,k,d]$-code whose length is equal to $n_q(k,d)$ is called {em optimal}. In this paper we present some matrix generators for the family of optimal $[n,3,d]$ codes over $GF(7)$ and $GF(11)$. Most of our given codes in $GF(7)$ are non-isomorphic with the codes pre...

متن کامل

On linear complexity of sequences over GF(2n)

In this paper, we consider some aspects related to determining the linear complexity of sequences over GF(2n). In particular, we study the effect of changing the finite field basis on the minimal polynomials, and thus on the linear complexity, of sequences defined overGF(2n) but given in their binary representation. Let a={ai} be a sequence overGF(2n). Then ai can be represented by ai = ∑n−1 j=...

متن کامل

On the binary sequences with high GF(2) linear complexities and low GF(p) linear complexities

Klapper [1] showed that there are binary sequences of period q − 1(q is a prime power p, p is an odd prime) with the maximal possible linear complexity q−1 when considered as sequences over GF (2), while the sequences have very low linear complexities when considered as sequences over GF (p). This suggests that the binary sequences with high GF (2) linear complexities and low GF (p) linear comp...

متن کامل

Some results concerning cryptographically significant mappings over GF(2n)

In this paper we investigate the existence of permutation polynomials of the form F(x) = xd + L(x) over GF(2n), L being a linear polynomial. The results we derive have a certain impact on the long-term open problem on the nonexistence of APN permutations over GF(2n), when n is even. It is shown that certain choices of exponent d cannot yield APN permutations for even n. When n is odd, an infini...

متن کامل

SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2)

This paper presents a hardware-optimized variant of the well-known Gaussian elimination over GF(2) and its highly efficient implementation. The proposed hardware architecture, we call SMITH1, can solve any regular and (uniquely solvable) overdetermined linear system of equations (LSE) and is not limited to matrices of a certain structure. Besides solving LSEs, the architecture at hand can also ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electronic Colloquium on Computational Complexity (ECCC)

دوره 16  شماره 

صفحات  -

تاریخ انتشار 2009